<html>
<head><meta charset="utf-8"><title>Rust-Fest-Impl-Days · t-compiler/wg-nll · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/index.html">t-compiler/wg-nll</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html">Rust-Fest-Impl-Days</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="127154056"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127154056" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127154056">(May 27 2018 at 06:20)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Are you staying for Impl Days?</p>



<a name="127154113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127154113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127154113">(May 27 2018 at 06:23)</a>:</h4>
<p>(Just thinking that we should make a group of people working on NLL during Impl Days.)</p>



<a name="127154160"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127154160" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127154160">(May 27 2018 at 06:25)</a>:</h4>
<p>Unfortunately not, leaving tomorrow. I think I remember your name flash on a badge and it seemed familIar d:)</p>



<a name="127154200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127154200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127154200">(May 27 2018 at 06:26)</a>:</h4>
<p>It would have been nice indeed</p>



<a name="127158660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127158660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127158660">(May 27 2018 at 09:32)</a>:</h4>
<p>I see. It seems that I managed to get sick, so not sure if I manage to come tomorrow.</p>



<a name="127195322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127195322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127195322">(May 28 2018 at 08:31)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> We are 8 beginners at Impl Days keen to work on NLL.</p>



<a name="127195417"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127195417" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127195417">(May 28 2018 at 08:34)</a>:</h4>
<p>Any help would be greatly appreciated. <span class="emoji emoji-263a" title="relaxed">:relaxed:</span></p>



<a name="127195432"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127195432" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127195432">(May 28 2018 at 08:35)</a>:</h4>
<p>Dropbox paper: <a href="https://paper.dropbox.com/doc/Rust-Fest-Impl-Days-NLL-bEyDVSumYzlqpGx51ayY3" target="_blank" title="https://paper.dropbox.com/doc/Rust-Fest-Impl-Days-NLL-bEyDVSumYzlqpGx51ayY3">https://paper.dropbox.com/doc/Rust-Fest-Impl-Days-NLL-bEyDVSumYzlqpGx51ayY3</a></p>



<a name="127195801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127195801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> emilsp <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127195801">(May 28 2018 at 08:47)</a>:</h4>
<p>This is one of the unsound cases - <a href="https://github.com/rust-lang/rust/issues/51117" target="_blank" title="https://github.com/rust-lang/rust/issues/51117">https://github.com/rust-lang/rust/issues/51117</a></p>



<a name="127198026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127198026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127198026">(May 28 2018 at 09:50)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> its a holiday in the USA today so its at least possible that Niko is spending the day offline with his family</p>



<a name="127199503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127199503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127199503">(May 28 2018 at 10:28)</a>:</h4>
<p>I'll be around somewhat today.</p>



<a name="127199510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127199510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127199510">(May 28 2018 at 10:29)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> what is current state?</p>



<a name="127200144"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200144" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200144">(May 28 2018 at 10:47)</a>:</h4>
<p>Currently, everybody is trying to understand what is Polonius, Datalog, etc.</p>



<a name="127200148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200148">(May 28 2018 at 10:47)</a>:</h4>
<p>ok :)</p>



<a name="127200151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200151">(May 28 2018 at 10:47)</a>:</h4>
<p>that's kind of astray from the soundness bugs</p>



<a name="127200192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200192">(May 28 2018 at 10:48)</a>:</h4>
<p><a href="https://github.com/rust-lang/rust/issues/50716" target="_blank" title="https://github.com/rust-lang/rust/issues/50716">https://github.com/rust-lang/rust/issues/50716</a> might be an easy-ish one to fix, for example</p>



<a name="127200193"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200193" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200193">(May 28 2018 at 10:48)</a>:</h4>
<p>I'd be up to walk somebody through that</p>



<a name="127200214"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200214" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200214">(May 28 2018 at 10:49)</a>:</h4>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/50716" target="_blank" title="https://github.com/rust-lang/rust/issues/50716">https://github.com/rust-lang/rust/issues/50716</a> might be an easy-ish one to fix, for example</p>
</blockquote>
<p>Trying to understand what it is about.</p>



<a name="127200341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Frank McSherry <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200341">(May 28 2018 at 10:52)</a>:</h4>
<p>I'm online and can help field random datafrog questions. Not super on-point about polonius and what it needs next, though.</p>



<a name="127200612"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200612" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200612">(May 28 2018 at 11:02)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> actually that bug is kinda' silly, let me look over the rest first</p>



<a name="127200651"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200651" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200651">(May 28 2018 at 11:02)</a>:</h4>
<blockquote>
<blockquote>
<p><a href="https://github.com/rust-lang/rust/issues/50716" target="_blank" title="https://github.com/rust-lang/rust/issues/50716">https://github.com/rust-lang/rust/issues/50716</a> might be an easy-ish one to fix, for example</p>
</blockquote>
<p>Trying to understand what it is about.</p>
</blockquote>
<p>Ok, I think I understand now where the problem is.</p>



<a name="127200671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200671">(May 28 2018 at 11:03)</a>:</h4>
<p>I guess though that, apart from <a href="https://github.com/rust-lang/rust/issues/47184" target="_blank" title="https://github.com/rust-lang/rust/issues/47184">https://github.com/rust-lang/rust/issues/47184</a>, that is the major open soundness issue. The others seem mostly to have to do with matches, and <span class="user-mention" data-user-id="116083">@pnkfelix</span> has an open PR that (I believe) should fix them</p>



<a name="127200714"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200714" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200714">(May 28 2018 at 11:04)</a>:</h4>
<p>no no, my open PR isn't for this</p>



<a name="127200716"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200716" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200716">(May 28 2018 at 11:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> isn't for what?</p>



<a name="127200717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200717">(May 28 2018 at 11:04)</a>:</h4>
<p>I am working on a branch that addresses some of this</p>



<a name="127200720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200720">(May 28 2018 at 11:04)</a>:</h4>
<p>oh oh oh wait</p>



<a name="127200721"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200721" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200721">(May 28 2018 at 11:04)</a>:</h4>
<p>you have an open PR for <strong>matches</strong></p>



<a name="127200722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200722">(May 28 2018 at 11:04)</a>:</h4>
<p>I misread your message</p>



<a name="127200723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200723">(May 28 2018 at 11:04)</a>:</h4>
<p>right sorry</p>



<a name="127200728"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200728" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200728">(May 28 2018 at 11:05)</a>:</h4>
<p>okay yes, I do have an open PR for <strong>matches</strong> that hopefully resolves much of our issues there</p>



<a name="127200736"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200736" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200736">(May 28 2018 at 11:05)</a>:</h4>
<p>ok</p>



<a name="127200744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200744">(May 28 2018 at 11:05)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> actually that bug is kinda' silly, let me look over the rest first</p>
</blockquote>
<p>OK. By the way, are Polonius issues 12, 19, and 20 available to work right now?</p>



<a name="127200758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200758">(May 28 2018 at 11:06)</a>:</h4>
<p>and I am independently working on a branch that addresses one part of <a href="https://github.com/rust-lang/rust/issues/47184" target="_blank" title="https://github.com/rust-lang/rust/issues/47184">rust-lang/rust#47184</a> ((namely, deconstructive bindings like <code>let (a, b): (T, U);</code>))</p>



<a name="127200792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200792">(May 28 2018 at 11:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> in terms of polonius, I feel like rustc-integration is the most imp't thing, but <span class="user-mention" data-user-id="116013">@qmx</span> and <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> have that under control; after that, <a href="https://github.com/rust-lang-nursery/borrow-check/issues/20" target="_blank" title="https://github.com/rust-lang-nursery/borrow-check/issues/20">https://github.com/rust-lang-nursery/borrow-check/issues/20</a> may be the most interesting issue. It's maybe semi-blocked by #24 but not necessarily</p>



<a name="127200793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200793">(May 28 2018 at 11:06)</a>:</h4>
<p>I think these issues are the ones that I could help others to work on.</p>



<a name="127200795"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200795" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200795">(May 28 2018 at 11:06)</a>:</h4>
<p>but I haven't thought terribly hard about how to further generalize to e.g. <code>foo::&lt;'static&gt;(argh)</code></p>



<a name="127200808"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200808" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200808">(May 28 2018 at 11:07)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> I'm not aware of anyone working on those. That said, I don't know that #19 would be particularly helpful. I think that the DatafrogOpt variant probably solves that problem fairly effectively.</p>



<a name="127200859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200859">(May 28 2018 at 11:08)</a>:</h4>
<p>I should probably close that</p>



<a name="127200950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127200950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127200950">(May 28 2018 at 11:11)</a>:</h4>
<p>OK, so we have four issues we could work on.</p>



<a name="127201145"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201145" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Julien Cretin (ia0) <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201145">(May 28 2018 at 11:17)</a>:</h4>
<p>I'm starting to take a look at <a href="https://github.com/rust-lang-nursery/polonius/issues/20" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/20">https://github.com/rust-lang-nursery/polonius/issues/20</a></p>



<a name="127201211"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201211" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201211">(May 28 2018 at 11:18)</a>:</h4>
<p>Personally, I would be up to work on either #47184 or #50716. However, I would definitely need a walk through.</p>



<a name="127201352"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201352" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201352">(May 28 2018 at 11:22)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> well let's fix #50716, or .. at least partially fix it .. (there's some subtleties I think concerning location). But it seems like something you can get a PR up for today whereas the remaining parts of #47184 would be quite hard)</p>



<a name="127201639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201639">(May 28 2018 at 11:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> </p>
<blockquote>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> well let's fix #50716, or .. at least partially fix it .. (there's some subtleties I think concerning location). But it seems like something you can get a PR up for today whereas the remaining parts of #47184 would be quite hard)</p>
</blockquote>
<p>Sounds good.</p>



<a name="127201680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201680">(May 28 2018 at 11:31)</a>:</h4>
<p>ok <span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> — I'm writing up some brief notes on #50716</p>



<a name="127201731"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201731" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201731">(May 28 2018 at 11:32)</a>:</h4>
<p>OK.</p>



<a name="127201748"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201748" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Andrea Lattuada <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201748">(May 28 2018 at 11:32)</a>:</h4>
<p>Heyo! Me and <span class="user-mention" data-user-id="117911">@Yati Sagade</span> are taking a look at better debug output with GraphViz.<br>
May have qs for <span class="user-mention" data-user-id="116609">@Frank McSherry</span></p>



<a name="127201753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jaime Valdemoros <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201753">(May 28 2018 at 11:32)</a>:</h4>
<p>I'm going to have a look at <a href="https://github.com/rust-lang/rust/issues/48417" target="_blank" title="https://github.com/rust-lang/rust/issues/48417">https://github.com/rust-lang/rust/issues/48417</a>, although I don't think I should self-assign until I think I've made some headway</p>



<a name="127201805"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201805" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201805">(May 28 2018 at 11:34)</a>:</h4>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> <a href="https://github.com/rust-lang/rust/issues/50716#issuecomment-392503047" target="_blank" title="https://github.com/rust-lang/rust/issues/50716#issuecomment-392503047">here is the comment</a></p>



<a name="127201809"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201809" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201809">(May 28 2018 at 11:35)</a>:</h4>
<p><span class="user-mention" data-user-id="117908">@Jaime Valdemoros</span> sounds fine, you can always leave a comment, but I don't know that you have any competition. I'll try to be around to answer any questions...</p>



<a name="127201906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127201906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Vytautas Astrauskas [he/him] <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127201906">(May 28 2018 at 11:37)</a>:</h4>
<blockquote>
<p><span class="user-mention" data-user-id="116109">@Vytautas Astrauskas</span> <a href="https://github.com/rust-lang/rust/issues/50716#issuecomment-392503047" target="_blank" title="https://github.com/rust-lang/rust/issues/50716#issuecomment-392503047">here is the comment</a></p>
</blockquote>
<p>Thanks, reading it.</p>



<a name="127207106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jaime Valdemoros <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207106">(May 28 2018 at 14:04)</a>:</h4>
<p>Hi <span class="user-mention" data-user-id="116009">@nikomatsakis</span>, <span class="user-mention" data-user-id="117914">@Christian</span> and I have been looking at whether we could spot any easy speed-ups in the use of datafrog. We're noticed that on the 'bad input' in the repo we have no output from datafrogopts compared to naive - do you know if that's expected?</p>



<a name="127207257"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207257" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207257">(May 28 2018 at 14:08)</a>:</h4>
<p>I don't (fully) understand the question</p>



<a name="127207263"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207263" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207263">(May 28 2018 at 14:09)</a>:</h4>
<p>but in general naive and datafrogopt should produce precisely the same final result</p>



<a name="127207264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207264">(May 28 2018 at 14:09)</a>:</h4>
<p>and can be compared against one another</p>



<a name="127207265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207265">(May 28 2018 at 14:09)</a>:</h4>
<p>that is indeed the whole point of keeping naive around :)</p>



<a name="127207272"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127207272" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127207272">(May 28 2018 at 14:09)</a>:</h4>
<p>I think you are saying that we are not really testing as thoroughly as we could be? In which case I'm sure that's true and would welcome PRs to do better :)</p>



<a name="127208089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jaime Valdemoros <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208089">(May 28 2018 at 14:28)</a>:</h4>
<p>No, I don't think I'm saying you should do anything differently :) I think I was just messing up the flags - with <code>-v</code> both print the same thing, but without <code>-v</code> (which is what I was doing) the naive one was printing out a load of results and datafrogopts wasn't which made me think it was coming to a different conclusion to datafrogopts.</p>



<a name="127208373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208373">(May 28 2018 at 14:35)</a>:</h4>
<p><span class="user-mention" data-user-id="117908">@Jaime Valdemoros</span> oh, hmm, well — that is probably a sorta bug too :)</p>



<a name="127208380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208380">(May 28 2018 at 14:35)</a>:</h4>
<p>I think that (without <code>-v</code>) both should just print the errors and that's it</p>



<a name="127208386"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208386" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208386">(May 28 2018 at 14:35)</a>:</h4>
<p>I'm not sure why it is acting differently actually...</p>



<a name="127208391"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208391" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208391">(May 28 2018 at 14:35)</a>:</h4>
<p>probably something simple though</p>



<a name="127208476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jaime Valdemoros <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208476">(May 28 2018 at 14:37)</a>:</h4>
<p>Okay, thanks, that's what we were wondering <span class="emoji emoji-1f642" title="simple smile">:simple_smile:</span> might be a good thing for us to possibly contribute with</p>



<a name="127208483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208483">(May 28 2018 at 14:37)</a>:</h4>
<p>yeah, seems like a simple place to start  and get familiar:)</p>



<a name="127208604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127208604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127208604">(May 28 2018 at 14:40)</a>:</h4>
<p>(if anybody is still looking for things to do, we could merge <a href="https://github.com/rust-lang-nursery/polonius/pull/48" target="_blank" title="https://github.com/rust-lang-nursery/polonius/pull/48">https://github.com/rust-lang-nursery/polonius/pull/48</a> then I think there is follow-up work to do there)</p>



<a name="127238910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127238910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127238910">(May 29 2018 at 07:42)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> here are a couple things I thought could be interesting for the people at impl days, what do you think ?<br>
- implement <code>def</code> into polonius-parser, and produce the correct <code>region_live_at</code> with liveness, as described in the 2 github PRs<br>
- add crude statistics to datafrog, behind a feature, to both have the number of tuples, and the time it took to merge and produce all of them, per Relation. There are IIRC examples of this inside datafrog itself rn (look for commented out Drop impls)<br>
- remove the <code>subset</code> symmetries, a lot of tuples in clap are the same region on both sides of the relation<br>
- if anybody wants to land leapfrog, note that the gists we showed still produce <code>borrow_live_at</code> while the repo ones are more looking to produce errors; while we could lean leapfrog producing borrows and joining to <code>invalidates</code> as right now; however in this direction, <code>borrow_live_at</code> is a temporary that does not need to produce tuples (except in -v) + Invalidates (in my mind) will cut into the relation quite a bit since those should be a nice subset of all points. I have already done this work but was waiting for FLTJ to land in master, without more tests I'm not sure on a specific API point, but I can find the gist when I get to the office if need be<br>
- try to see if we need to share more of the location-insensitive and -sensitive work, by filtering the latter's work with the former's output<br>
- find out what is slow in compiling <code>webrender</code> and <code>cargo</code> when compiled with NLL, as shown on perf.rlo — use the code versions in the <code>rustc-perf</code> repo; extract benchmark use cases for polonius out of those slow cases, if needed (or maybe rustc issues)</p>



<a name="127240010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127240010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127240010">(May 29 2018 at 08:16)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> these all seem good, whether at impl days or not. We should open corresponding issues on the polonius repository</p>



<a name="127240023"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127240023" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127240023">(May 29 2018 at 08:16)</a>:</h4>
<p>(would you be up for doing that?)</p>



<a name="127240032"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127240032" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127240032">(May 29 2018 at 08:17)</a>:</h4>
<p>I think outside of polonius, we should be focusing <em>probably</em> on diagnostics — I am kind of unclear on the status there, I know that <span class="user-mention" data-user-id="116083">@pnkfelix</span> did a bunch of awesome work categorizing things, but I'm not clear on how many are fixed (it looked like there was good progress by <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> on at least some things)</p>



<a name="127240095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127240095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127240095">(May 29 2018 at 08:18)</a>:</h4>
<p>(sure I can create issues at lunch break, which is in a couple hours or so)</p>



<a name="127240591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127240591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127240591">(May 29 2018 at 08:31)</a>:</h4>
<p>another datafrog thing people might find interesting: implement multi variable TFLJ, to see if removing even more of the temporary Variables has a an impact; more info on how to do that from Frank <a href="#narrow/stream/122657-wg-nll/subject/optimizing-transitive-closure/near/126965559" title="#narrow/stream/122657-wg-nll/subject/optimizing-transitive-closure/near/126965559">here</a></p>



<a name="127241063"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127241063" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127241063">(May 29 2018 at 08:43)</a>:</h4>
<p><span class="user-mention" data-user-id="116083">@pnkfelix</span> you know what's annoying? that <code>-Znll</code> doesn't mean the same thing as <code>#![feature(nll)]</code> (right?).</p>



<a name="127241066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127241066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127241066">(May 29 2018 at 08:43)</a>:</h4>
<p>I wish that we had <code>-Zdisable-two-phase-borrows</code> instead</p>



<a name="127245071"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245071" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> qmx <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245071">(May 29 2018 at 10:41)</a>:</h4>
<p>isn't this annoyance worth to be raised as an issue?</p>



<a name="127245075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245075">(May 29 2018 at 10:41)</a>:</h4>
<p>we certainly can make that change, especially at this point</p>



<a name="127245137"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245137" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245137">(May 29 2018 at 10:42)</a>:</h4>
<p>though we don't even have <code>-Z nll</code> anymore</p>



<a name="127245148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245148">(May 29 2018 at 10:43)</a>:</h4>
<p>(<code>-Z borrowck=mir</code> certainly <em>could</em> imply <code>-Z two-phase-borrows</code>, which is probably what niko meant. Its a little goofy, but at this point <code>-Z borrowck=mir</code> implies a lot of things beyond the switch the mir-borrowck...)</p>



<a name="127245468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245468">(May 29 2018 at 10:52)</a>:</h4>
<p>I don't know what I meant:) mostly that I want something as easy as <code>#![feature(nll)]</code> — whether it be <code>-Znll</code> or <code>-Zborrowck=mir</code> I don't care :)</p>



<a name="127245792"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245792" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245792">(May 29 2018 at 11:00)</a>:</h4>
<p>in some ways the easiest thing would be to re-add <code>-Z nll</code> and just have it imply the same set of flags that <code>#![feature(nll)]</code> does</p>



<a name="127245794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245794">(May 29 2018 at 11:00)</a>:</h4>
<p>Though perhaps some would find that confusing...</p>



<a name="127245802"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127245802" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> pnkfelix <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127245802">(May 29 2018 at 11:01)</a>:</h4>
<p>(by "easiest" I sort of mean for end-users. It probably <em>isn't</em> the easiest to implement, though I suspect it wouldn't be that hard either...)</p>



<a name="127246904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127246904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127246904">(May 29 2018 at 11:35)</a>:</h4>
<p>I created <a href="https://github.com/rust-lang-nursery/polonius/issues/61" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/61">https://github.com/rust-lang-nursery/polonius/issues/61</a> <a href="https://github.com/rust-lang-nursery/polonius/issues/62" target="_blank" title="https://github.com/rust-lang-nursery/polonius/issues/62">https://github.com/rust-lang-nursery/polonius/issues/62</a> and <a href="https://github.com/rust-lang-nursery/datafrog/issues/6" target="_blank" title="https://github.com/rust-lang-nursery/datafrog/issues/6">https://github.com/rust-lang-nursery/datafrog/issues/6</a> to track some of the ideas mentioned this morning (sharing work between location-insensitive and sensitive analyses is already in an issue somewhere IIRC, and investigation webrender/cargo NLL slowness didn't feel like it should be in the polonius repo)</p>



<a name="127249039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127249039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127249039">(May 29 2018 at 12:29)</a>:</h4>
<p>ah and <a href="https://github.com/rust-lang-nursery/datafrog/issues/5" target="_blank" title="https://github.com/rust-lang-nursery/datafrog/issues/5">https://github.com/rust-lang-nursery/datafrog/issues/5</a> as well</p>



<a name="127249655"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127249655" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127249655">(May 29 2018 at 12:45)</a>:</h4>
<p>Double checking, nobody is working on speed improvements in polonius/datafrog right now? Me and @solidninja intend to work on this for today.</p>



<a name="127249857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127249857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127249857">(May 29 2018 at 12:49)</a>:</h4>
<p>Reed had made some tests here <a href="#narrow/stream/122657-wg-nll/subject/optimizing-transitive-closure/near/127141172" title="#narrow/stream/122657-wg-nll/subject/optimizing-transitive-closure/near/127141172">https://rust-lang.zulipchat.com/#narrow/stream/122657-wg-nll/subject/optimizing-transitive-closure/near/127141172</a> recently</p>



<a name="127250096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127250096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Christian <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127250096">(May 29 2018 at 12:55)</a>:</h4>
<p>On the topic of datafrog / polonius speed improvements: I'd want proper tests that check that all algorithms return the correct results for the test inputs (can't find any doing this in the current code base?), and also listing the timings for these so it will be easy to compare various versions of the code. Has anyone worked on this or should I do this now?</p>



<a name="127250242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127250242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127250242">(May 29 2018 at 12:58)</a>:</h4>
<p>there are 2-3 tests, including comparing the Naive vs Opt variant on one of the datasets, the rest is at the moment done manually comparing the expected outputs from the in-repo datasets; until we have more tests with the frontend, and finalized rustc integration</p>



<a name="127250252"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127250252" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127250252">(May 29 2018 at 12:58)</a>:</h4>
<p>we have some tests like that with <code>cargo test</code>, but it is true that we need more. The plan was to land the rustc-integration work (currently in bors queue), find places where we are failing soundness tests, extract the facts, and make tests from those (presuming the flaw is in polonius, perhaps, as opposed to rustc). We don't have to necessarily wait though for rustc-integration to <strong>land</strong> before beginning that process -- you can build it locally from <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span>'s branch</p>



<a name="127257190"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days/near/127257190" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Reed Koser <a href="https://rust-lang.github.io/zulip_archive/stream/122657-t-compiler/wg-nll/topic/Rust-Fest-Impl-Days.html#127257190">(May 29 2018 at 15:25)</a>:</h4>
<blockquote>
<p>On the topic of datafrog / polonius speed improvements: I'd want proper tests that check that all algorithms return the correct results for the test inputs (can't find any doing this in the current code base?), and also listing the timings for these so it will be easy to compare various versions of the code. Has anyone worked on this or should I do this now?</p>
</blockquote>
<p>I've taken some stabs at doing optimizations within Datafrog. I think there's much larger wins to be hard by doing algorithmic optimizations on Polonius, but didn't get a chance to sit down and think about it this weekend</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>